-
1 alleged theorem
Большой англо-русский и русско-английский словарь > alleged theorem
-
2 alleged theorem
Математика: предполагаемая теорема -
3 alleged theorem
-
4 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
5 предполагаемая теорема
Большой англо-русский и русско-английский словарь > предполагаемая теорема
-
6 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
Four color theorem — Example of a four colored map A four colori … Wikipedia
Fermat's Last Theorem — is the name of the statement in number theory that:: It is impossible to separate any power higher than the second into two like powers,or, more precisely:: If an integer n is greater than 2, then the equation a^n + b^n = c^n has no solutions in… … Wikipedia
Steiner-Lehmus theorem — |AE|=|BD|,,alpha=eta,,gamma=delta Rightarrow riangle ABC ext{ is isosceles}The Steiner Lehmus theorem, a theorem in elementary geometry, was formulated by C. L. Lehmus and subsequently proved by Jakob Steiner.: Any triangle with two angle… … Wikipedia
Binomial inverse theorem — In mathematics, the binomial inverse theorem is useful for expressing matrix inverses in different ways.If A, U, B, V are matrices of sizes p × p , p × q , q × q , q × p , respectively, then:left(mathbf{A}+mathbf{UBV} ight)^{ 1}=mathbf{A}^{ 1}… … Wikipedia
Temporal single-system interpretation — The temporal single system interpretation (TSSI) of Karl Marx s value theory emerged in the early 1980s in response to renewed allegations that his theory was riven with internal inconsistencies, and that it must therefore be rejected or… … Wikipedia
Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… … History of philosophy
Propaganda — This article is about the form of communication. For other uses, see Propaganda (disambiguation). French Military Propaganda postcard showing a caricature of Kaiser Wilhelm II biting the world (c. 1915) … Wikipedia
Marxian economics — Part of a series on Marxism … Wikipedia
Criticisms of Marxism — This article is about criticisms of Marxism, a branch of socialism. For criticisms of socialism in general, see Criticisms of socialism. See also Criticisms of Communist party rule for a discussion on specific criticisms of Communist states. Part … Wikipedia
Relativity priority dispute — Albert Einstein presented the theories of Special Relativity and General Relativity in groundbreaking publications that either contained no formal references to previous literature, or referred only to a small number of his predecessors for… … Wikipedia
Michel Rolle — (April 21, 1652 – November 8, 1719) was a French mathematician. He is best known for Rolle s theorem (1691), and he deserves to be known as the co inventor in Europe of Gaussian elimination (1690). Contents 1 Life 2 Work 3 Critique of… … Wikipedia